81. Journal on data semantics II
پدیدآورنده : Stefano Spaccapietra... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : ، Semantic web,، Database management,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3360
82. Journal on data semantics VI
پدیدآورنده : / Stefano Spaccapietra (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming languages (Electronic computers)--Semantics,Database management.
83. Journal on data semantics VI
پدیدآورنده : / Stefano Spaccapietra, Karl Aberer, Philippe Cudrae-Mauroux (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Database management.,Programming languages (Electronic computers)--Semantics
84. Journal on data semantics VII
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Database management. ; Programming languages (Electronic computers) ; Semantics. ; Semantic integration (Computer systems) ; Semantic networks (Information theory) ;
85. Journal on data semantics VII
پدیدآورنده : / Stefano Spaccapietra ... [et al.] (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Semantic Web.,Ontology.,Semantics--Data processing,Programming languages (Electronic computers)--Semantics
86. Journal on data semantics VIII
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Semantic Web. ; Ontology. ; Semantics ; Data processing. ; Programming languages (Electronic computers) ; Semantics. ;
87. Journal on data semantics XIII
پدیدآورنده : Stefano Spaccapietra, Esteban Zimányi, Song, Il-Yeol (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ontology,Programming languages (Electronic computers)-- Semantics,Semantic Web,Semantics-- Data processing
رده :
QA76
.
7
.
J63
2009eb
88. Language, logic, and computation :
پدیدآورنده : Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
9
.
L63
89. Languages and tools for hybrid systems design /
پدیدآورنده : Luca P. Carloni [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Hybrid computers-- Programming.,Hybrid systems-- Computer simulation.,Hybrid systems-- Design-- Data processing.,Hybrid systems-- Mathematical models.,Programming languages (Electronic computers),System analysis-- Computer programs.,Hybrid computers-- Programming.,Programming languages (Electronic computers),System analysis-- Computer programs.,TECHNOLOGY & ENGINEERING-- Automation.
رده :
QA76
.
7
.
L36
2006
90. Languages for paralle architecturres
پدیدآورنده : / edited by j. w . de bakker
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Parallel Processing (Computer Science),Programming languages ( Electronic computers) --Semantics,Computer architecture
رده :
QA
76
.
6
.
L3353
1989
91. Logic, language, and computation
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
92. Logic, language, and computation :
پدیدآورنده : Nick Bezhanishvili [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
93. Logic, language, and computation
پدیدآورنده : / Balder D. ten Cate, Henk W. Zeevat (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005
94. Logic, language, and computation
پدیدآورنده : \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
95. Logic of Domains
پدیدآورنده : Zhang, Guo-Qiang, 0691-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
96. Logic of domains
پدیدآورنده : Zhang, Guo-Qiang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
97. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
98. Logic programming :
پدیدآورنده : James H. Andrews
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory
99. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: (سمنان)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
100. Logics of specification languages
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
